Static Specification Mining Using Automata-Based Abstractions
نویسندگان
چکیده
منابع مشابه
Symbolic Automata for Static Specification Mining
We present a formal framework for static specification mining. The main idea is to represent partial temporal specifications as symbolic automata – automata where transitions may be labeled by variables, and a variable can be substituted by a letter, a word, or a regular language. Using symbolic automata, we construct an abstract domain for static specification mining, capturing both the partia...
متن کاملAutomata as Abstractions
We propose the use of tree automata as abstractions in the verification of branching time properties, and show several benefits. In this setting, soundness and completeness are trivial. It unifies the abundance of frameworks in the literature, and clarifies the role of concepts therein in terms of the well-studied field of automata theory. Moreover, using automata as models simplifies and gener...
متن کاملTemporal Data Mining Based on Temporal Abstractions
Analyzing data for support of diagnostic tasks in dynamic domains, such as medicine, plant pathology, or information and communication technology security, requires an explicit representation and consideration of the temporal semantics of the data. However, discovering temporal knowledge is a challenging task. Temporal abstraction is a common task, based on temporalion is a common task, based o...
متن کاملSymbolic Abstractions of Automata
We describe the design of abstraction methods based on symbolic techniques: classical abstraction by state fusion has been considered. We present a general method to abstract automata on the basis of a state fusion criterion, derived from e.g. equivalence relations (such as bisimulation), partitions, ... We also introduce other kinds of abstraction, falling into the category of abstraction by r...
متن کاملProgramming with Millions of Examples — Scalable Static Specification Mining
1 Abbreviations and Notations 2
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2008
ISSN: 0098-5589
DOI: 10.1109/tse.2008.63